(0 13 9)(1 14 4)(2 10 3)(5 16 11)(6 12 8)(7 17 15)
ALLOWS (11/8)-SEQUENCE
1: (5 11 16)
(0 13 9)(1 14 4)(2 10 3)(5 11 16)(6 12 8)(7 17 15)
2: (7 17 15)
(0 13 9)(1 14 4)(2 10 3)(5 11 16)(6 12 8)(7)(15)(17)
3: (5 11 16)
(0 13 9)(1 14 4)(2 10 3)(5)(6 12 8)(7)(11)(15)(16)(17)
4: (6 12 8)
(0 13 9)(1 14 4)(2 10 3)(5)(6)(7)(8)(11)(12)(15)(16)(17)